See Batfish (a).